﻿//time calculation used for date stamping printed certificates
function getFormattedDate(locale) {
	today = new Date();
	days = new Array("dimanche", "lundi", "mardi", "mercredi", "jeudi", "vendredi", "samedi");
	months = new Array("janvier", "fevrier", "mars", "avril", "mai", "juin", "juillet", "août", "septembre", "octobre", "novembre", "décembre");
	theDay = days[today.getDay()];
	theMonth = months[today.getMonth()];
	if (locale == "US" || typeof (locale) == undefined) {
		//day,month,date,year
		//return today.getFullYear()+"”N"+theMonth+" "+today.getDate()+"“ú("+theDay+")";
		return theDay+" "+theMonth+" "+today.getDate()+", "+today.getFullYear();
	}
}